- LNCS918
- -P. Baumgartner/R. Hähnle/J. Posegga (Eds.): Theorem Proving with Analytic Tableaux and Related Methods. Proceedings 1995, Springer-Verlag 1995 (Subseries LNAI)
Acronyms von A bis Z. 2013.
LNCS918
Schlagen Sie auch in anderen Wörterbüchern nach:
LNCS918 — P. Baumgartner/R. Hähnle/J. Posegga (Eds.): Theorem Proving with Analytic Tableaux and Related Methods. Proceedings 1995, Springer Verlag 1995 (Subseries LNAI) … Acronyms
